On the Weak Index Problem for Game Automata
نویسندگان
چکیده
Game automata are known to recognise languages arbitrarily high in both the non-deterministic and alternating Rabin–Mostowski index hierarchies. Recently it was shown that for this class both hierarchies are decidable. Here we complete the picture by showing that the weak index hierarchy is decidable as well. We also provide a procedure computing for a game automaton an equivalent weak alternating automaton with the minimal index and a quadratic number of states. As a by-product we obtain that, as for deterministic automata, the weak index and the Borel rank coincide.
منابع مشابه
GAME OF COORDINATION FOR BACTERIAL PATTERN FORMATION: A FINITE AUTOMATA MODELLING
In this paper, we use game theory to describe the emergence of self-organization and consequent pattern formation through communicative cooperation in Bacillus subtilis colonies. The emergence of cooperative regime is modelled as an n-player Assurance game, with the bacterial colonies as individual players. The game is played iteratively through cooperative communication, and mediated by exchan...
متن کاملSimulation and Evaluation of Urban Development Scenarios Using Integration of Cellular Automata Model and Game Theory
Urban growth is a dynamic and evolutionary spatial and social process that relates to the changes of urban spatial units and the transformation of people’s lifestyles and consequently demographic changes. Considering the urban development process as a function of land uses interactions, population structure and the strategic behavior of the agents involved in the urban development process (the ...
متن کاملMulti Responses Optimization Through Game Theory Approach
In this paper, a new approach based on game theory has been proposed to multi responses problem optimization. Game theory is a useful tool for decision making in the conflict of interests between intelligent players in order to select the best joint strategy for them through selecting the best joint desirability. Present research uses the game theory approach via definition of each response as ...
متن کاملOn the facility location problem: One-round weighted Voronoi game
Voronoi game presents a simple geometric model for Competitive facility location problems with two players. Voronoi game is played by two players known as White and Black, they play in a continuous arena. In the one-round game, White starts game and places all his points in the arena then Black places her points. Then the arena is divided by distance between two players and the player with the ...
متن کاملComparison of the effectiveness of cognitive computer games and parent-child interactive games on problem solving and positive and negative affect of ten-year-old children in Shiraz
In recent years, research on increasing cognitive and psychological status through play has received much attention. For this purpose, there are two categories of game including interactive home game and cognitive game that the first run in the home environment and the latter is implemented as computer software to increase cognitive abilities. The aim of this study was to compare the effectiven...
متن کامل